Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
نویسندگان
چکیده
This report has been submitted forr publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report forr early dissemination of its contents. In view of the transfert of copy right too the outside publisher, its distribution outside of ITC priorr to publication should be limited to peer communications and specificc requests. After outside publication, material will be available only inn the form authorized by the copyright owner.
منابع مشابه
ELITE: An Entailment-Based Federated Query Engine for Complete and Transparent Semantic Data Integration
In recent years the core of the semantic web has evolved into a conceptual layer built by a set of ontologies mapped onto data distributed in numerous data sources, interlinked, interpreted and processed in terms of semantics. One of the central issues in this context became the federated querying of such linked data. This paper presents the federated query engine ELITE that facilitates a compl...
متن کاملIntegrated Distributed Description Logics
We propose a Description-Logics-based language that extends standard DL with distributed capabilities. More precisely, it offers the possibility to formally describe the semantic relations that exist between two ontologies in a networked knowledge-based system. Contrary to Distributed Description Logics [2], it is possible to compose correspondences (≈ bridge rules), while still being able to h...
متن کاملE-connections of Description Logics
1 Motivation Combining description logics (DLs) with other logical formalisms, including other DLs, is an important and challenging task. Recent examples include: 1. the combination of DLs with temporal logics to form multi-dimensional temporal DLs, cf. e.g. [1, 6, 10]; 2. the fusion of multiple DLs into a single formalism that inherits decidability from its components, cf. [2]; 3. the combinat...
متن کاملA Strong Correspondence between Description Logics and Open Logic Programming
This paper formally investigates the relationship between Open Logic Programming (OLP) and Description Logics (DL). A description logic is designed to represent two diierent forms of knowledge. A T-Box represents deenitional knowledge, i.e. deenitions for a set of concepts. An A-Box represents assertional knowledge about speciic domain objects. OLP is a declarative, terminological interpretatio...
متن کاملDistributed Reasoning with Modular Ontologies
Many real world applications of ontologies call for reasoning with modular ontologies. We describe a tableaubased reasoning algorithm based on Package-based Description Logics (P-DL), an ontology language that extends description logics with language features to support modularity. Unlike classical approaches that assume a single centralized, consistent ontology, the proposed algorithm adopts a...
متن کامل